66,56€(IVA inc.)
Abstract State Machines, Alloy, B, TLA, VDM, and Z
- Butler, Michael
- 978-3-319-33599-5
- 2016-05-11
72,79€(IVA inc.)
Abstract State Machines, Alloy, B, TLA, VDM, and Z
- Butler, Michael
- 978-3-319-91270-7
- 2018-06-15
64,48€(IVA inc.)
FM 2011 : formal methods: 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings
- Butler, Michael
- 978-3-642-21436-3
- 2011-06-30
66,56€(IVA inc.)
Formal Methods and Software Engineering
- Butler, Michael
- 978-3-319-25422-7
- 2015-11-02
78,36€(IVA inc.)
Selling a 'just' war: framing, legitimacy, and US military intervention
- Butler, Michael J.
- 978-0-230-36064-8
- 2012-03-09
104,48€(IVA inc.)
The social cognitive neuroscience of organizations
- Senior, Carl
- 978-1-57331-698-9
- 2008-01-02